operational semantics - Allemand Anglais Dictionnaire